x86: use 32-bit loads for 32-bit PV guest state reload
authorJan Beulich <jbeulich@suse.com>
Fri, 13 May 2016 17:14:58 +0000 (18:14 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 13 May 2016 17:15:59 +0000 (18:15 +0100)
commit25eb87cb3242474413de439321b9c92b747ce8ab
tree783c0cda334e7b4745df17e79a8ddd254a3e81ef
parent01a0bd0a7d72be638a359db3f8cf551123467d29
x86: use 32-bit loads for 32-bit PV guest state reload

This is slightly more efficient than loading 64-bit quantities.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
xen/include/asm-x86/asm_defns.h